merge the nearly identical Title::moveToNewTitle() and Title::moveOverExistingRedirec...
authorIlmari Karonen <vyznev@users.mediawiki.org>
Mon, 3 Jan 2011 20:32:04 +0000 (20:32 +0000)
committerIlmari Karonen <vyznev@users.mediawiki.org>
Mon, 3 Jan 2011 20:32:04 +0000 (20:32 +0000)
commit6c9c1a2caff33078fc3c64658e60d5a0c3820732
treee26ef23cbf48e9c1d3c386bc33109fd1e2bbb3cb
parent76b8218e7596adc5704263fd7d7368941a987208
merge the nearly identical Title::moveToNewTitle() and Title::moveOverExistingRedirect() to a single Title::moveToInternal() method
includes/Title.php